#include <stdio.h>
int main()
{ 
	int i;
	for(i = 10;i>3;i--)
	{
		if(i%3)
		i--;
		i--;
		i--;
		printf("%d",i);
	}
}
